A Model-Driven approach for functional test case generation

Test phase is one of the most critical phases in software engineering life cycle to assure the final system quality. In this context, functional system test cases verify that the system under test fulfills its functional specification. Thus, these test cases are frequently designed from the different scenarios and alternatives depicted in functional requirements. The objective of this paper is to introduce a systematic process based on the Model-Driven paradigm to automate the generation of functional test cases from functional requirements. For this aim, a set of metamodels and transformations and also a specific language domain to use them is presented. The paper finishes stating learned lessons from the trenches as well as relevant future work and conclusions that draw new research lines in the test cases generation context.Ministerio de Economía y Competitividad TIN2013-46928-C3-3-

Automatic verification and validation wizard in web-centred end-user software engineering

This paper addresses one of the major web end-user software engineering (WEUSE) challenges, namely, how to verify and validate software products built using a life cycle enacted by end-user programmers. Few end-user development support tools implement an engineering life cycle adapted to the needs of end users. End users do not have the programming knowledge, training or experience to perform devel- opment tasks requiring creativity. Elsewhere we published a life cycle adapted to this challenge. With the support of a wizard, end-user programmers follow this life cycle and develop rich internet applica- tions (RIA) to meet specific end-user requirements. However, end-user programmers regard verification and validation activities as being secondary or unnecessary for opportunistic programming tasks. Hence, although the solutions that they develop may satisfy specific requirements, it is impossible to guarantee the quality or the reusability of this software either for this user or for other developments by future end-user programmers. The challenge, then, is to find means of adopting a verification and validation workflow and adding verification and validation activities to the existing WEUSE life cycle. This should not involve users having to make substantial changes to the type of work that they do or to their priori- ties. In this paper, we set out a verification and validation life cycle supported by a wizard that walks the user through test case-based component, integration and acceptance testing. This wizard is well-aligned with WEUSE’s characteristic informality, ambiguity and opportunisticity. Users applying this verification and validation process manage to find bugs and errors that they would otherwise be unable to identify. They also receive instructions for error correction. This assures that their composite applications are of better quality and can be reliably reused. We also report a user study in which users develop web soft- ware with and without a wizard to drive verification and validation. The aim of this user study is to confirm the applicability and effectiveness of our wizard in the verification and validation of a RIAEuropean Union (UE) GA FP7-216048European Union (UE) GA FP7-285248European Union (UE) GA FP7-258862Ministerio de Economía y Competitividad TIN2016-76956-C3-2-R (POLOLAS)Ministerio de Economía y Competitividad TIN2015-71938-RED

Model-driven in reverse. The practical experience of the AQUA project

Model-Driven Web Engineering (MDWE) is a new paradigm which provides satisfactory results in software development. However, most experiments with MDWE towards the development of software from the requirements to the implementation stages. However, in practice, sometimes software development does not follow this classic path. In this paper, MDWE is presented as a suitable selection in software projects of technological evolution. The AQUA project is a very large and important project which is a fusion of three previous systems. Thus, this project starts with the original code of these three systems. The paper introduces the power of MDWE in this kind of systems.Ministerio de Educación y Ciencia TIN2007-67843-C06_03Ministerio de Educación y Ciencia IN2007-30391-

Generation of test cases from functional requirements. A survey

One of the major quality criteria of a software system is how well it fulfils the needs of users or customers. One technique to verify and improve the grade of fulfilment is system testing. System test cases might be derived from the requirements of the system under test. This paper presents the results of a survey among 13 approaches to drive the generation of test cases from functional requirements

Testing web applications in practice

Software testing process is gaining importance at same time that size and complexity of software are growing. The specifics characteristics of web applications, like client-server architecture, heterogeneous languages and technologies or massive concurrent access, makes hard adapting classic software testing practices and strategies to web applications. This work exposes an overview of testing processes and techniques applied to web development. This work also describes a practical example testing a simple web application using only open-source tools

An Approach to Generate Test Cases from Use Cases

The system testing allows to verify the behaviour of the system under test and to guarantee the satisfaction of its requirements. This work describes a complete process to generate test cases from use cases for web applications. This process also resolves the lacks detected in existing approache

Derivation of test objectives automatically

A vital task of software development is to test the correct implementation of functional requirements. Use cases are widely used artefacts that define the functionality of a software system in early stages of the development proc ess. This paper exposes the lack of automatism in existing approaches that deal with the derivation of test cases, and introduces a new approach and tool to derive systematically test objectives from the use cases of the system under test

Improving NDT with Automatic Test Case Generation

The model-driven development defi nes the software development process as a set of iterations to create models and a set of transformations to obtain new models. From this point of view, this paper presents the enhancement of a model- driven approach, called navigational development techniques (NDT), by means of new models and transformations in order to generate test cases. It also states some conclusions from the research work and practical cases in which this approach was used.Ministerio de Ciencia e Innovación TIN2010-20057-C03-02Ministerio de Ciencia e Innovación TIN 2010-12312-

Practical Experiences in Web Engineering

Web Engineering is defined like a new area to propose models, techniques, processes, architectures, etc. in order to deal correctly with the special characteristics of the web environment. In the last years, new methodological approaches appeared in this environment. However, Web Engineering is not often applied in industries and real pro jects. This paper presents a general vision of a web approach, named NDT (Navigational Development Techniques) and it is focused on the study of its practical applications

The treatment of navigation in web engineering

This paper aims at giving a global vision of the most popular web engineering approach. Web systems have woken up a high interest in companies and in the research community in the last years. Thus, techniques and methods are being proposed in order to offer a suitable framework to deal with the special characteristics of the web. For these reasons, some years ago a new line in the software engineering appeared. This line, then named web engineering, has grown in the last years, proving that web systems have special characteristics that require a special treatment. One of the most treated characteristic is the navigation. Navigation is a critical aspect in web systems and its suitable development in the life cycle is a basic need to guarantee the project quality. This survey shows how navigation is treated in 15 web proposals, which are the most referenced ones, and it analyses the available techniques, models and the possible gaps in the treatment